ti: k3: common: Program A53 arch timer frequency
authorNishanth Menon <nm@ti.com>
Fri, 14 Oct 2016 01:13:48 +0000 (01:13 +0000)
committerAndrew F. Davis <afd@ti.com>
Tue, 19 Jun 2018 17:42:37 +0000 (12:42 -0500)
commite9cb89cfca8dad4d84e59a28932483fb3ddf8504
treed7c6ebccafc7618fbe0decbb3b3675fbfb88e3cc
parentfff6ffca5b6594a2198db131dcbd40f8a4b0de85
ti: k3: common: Program A53 arch timer frequency

Provide K3_TIMER_FREQUENCY for the platform configuration if the GTC
clock is selected statically and override option if the platform has a
different configuration.

Signed-off-by: Nishanth Menon <nm@ti.com>
Signed-off-by: Benjamin Fair <b-fair@ti.com>
plat/ti/k3/common/k3_bl31_setup.c
plat/ti/k3/include/platform_def.h